type A = ?number => boolean;
